#include <time.h>
#define ticket_ms_t clock_t

ticket_ms_t m_get_ticket_ms(void);
